Mips At

نویسندگان

  • Sergio Núñez
  • Daniel Borrajo
  • Carlos Linares López
چکیده

In this document we describe the technique used to configure the sequential portfolios submitted to the 2013 SAT Competition. We have submitted eight portfolios to the core solvers and sequential (SAT and SAT+UNSAT) tracks and one to the open track accounting for nine different portfolios in total.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Identification of Volatile Organic Compounds from Trichoderma virens (6011) by GC-MS and Separation of a Bioactive Compound via Nanotechnology

Fungal volatile organic compounds (VOCs) have the potential of being used as biocontrol agents for biotechnological applications in agriculture, industry and medicine. In this research, different VOCs from secondary metabolites of biocontrol fungus Trichoderma virens (6011) KP671477 were separated using n-hexane, n-butanol and methanol solvents and identified by gas chromatography–mass spectrom...

متن کامل

The Experimental Study of Increased ICP on Cerebral Hemorrhage Rabbits with Magnetic Induction Phase Shift Method

Introduction Measuring magnetic induction phase shift (MIPS) changes as a function of cerebral hemorrhage volume has the potential for being a simple method for primary and non-contact detection of the occurrence and progress of cerebral hemorrhage. Our previous MIPS study showed that the intracranial pressure (ICP) was used as a contrast index and found the primary correlation between MIPS and...

متن کامل

Preparation and recognition properties of bovine hemoglobin magnetic molecularly imprinted polymers.

A simple method for the preparation of core-shell micro/nanostructured magnetic molecularly imprinted polymers (MIPs) for protein recognition is described. Magnetic MIPs were synthesized by copolymering gamma-aminopropyltrimethoxysilane and tetraethyl orthosilicate at the surface of Fe(3)O(4) nanospheres, which were directly covalently bound with template molecule, bovine hemoglobin (BHb), thro...

متن کامل

Motion-induced position shifts occur after motion integration

Low-level motion processing in the primate visual system involves two stages. The first stage (in V1) contains specialised motion sensors which respond to local retinal motion, and the second stage (in MT) pools local signals to encode rigid surface motion. Recent psychophysical research shows that motion signals influence the perceived position of an object (motion-induced position shift, MIPS...

متن کامل

Synthesis of a nanoporous molecularly imprinted polymers for dibutyl Phthalate extracted from Trichoderma Harzianum

In this study, molecularly imprinted polymers were synthesized for dibutyl phthalate as a bioactive chemical compound with antifungal activity which produced by Trichoderma Harzianum (JX1738521). The molecularly imprinted polymers were synthesized via precipitation polymerization method from methacrylic acid, dibutyl phthalate and trimetylolpropantrimethacrylate as a functional monomer, templat...

متن کامل

Efficient Hardware Design and Implementation of Encrypted MIPS Processor

The paper describes the design and hardware implementation of 32-bit encrypted MIPS processor based on MIPS pipeline architecture. The organization of pipeline stages in such a way that pipeline can be clocked at high frequency. Encryption and Decryption blocks of data encryption standard (DES) cryptosystem and dependency among themselves are explained in detail with the help of block diagram. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014